định verb to fix; to appoint; to set; to assign vào giờ đã định a the...
lý noun reason; ground hợp lý reasonable Từ điển kỹ thuật mile...
euclid ['ju:klid] danh từ (toán học) nhà toán học O-clit ...
định lý noun theorem Từ điển kinh doanh theorem định lý Coarse Coarse...
Câu ví dụ
Thus the idea of an ‘irrational’ is deeper than that of an integer; and Pythagoras’s theorem is, for that reason, deeper than Euclid’s. Do đó, ý tưởng về “số vô tỷ” sâu hơn ý tưởng về số nguyên; và định lý Pythagoras vì thế mà sâu hơn định lý Euclid.
Euclid’s theorem is very important, but not very deep: we can prove that there are infinitely many primes without using any notion deeper than that of ‘divisibility’. Định lý Euclid rất quan trọng, nhưng không sâu: chúng ta có thể chứng minh rằng tồn tại vô số số nguyên tố mà không cần dùng khái niệm nào sâu hơn “tính chia hết”.
The primes are the raw material out of which we have to build arithmetic, and Euclid’s theorem assures us that we have plenty of material for the task. Số nguyên tố là những yếu tố cơ bản từ đó chúng ta xây dựng nên lý thuyết số, và định lý Euclid đảm bảo rằng chúng ta có vô số các yếu tố cơ bản để làm việc đó.
The primes are the raw material out of which we have to build arithmetic, and Euclid's theorem assures us that we have plenty of material for the task. Số nguyên tố là những yếu tố cơ bản từ đó chúng ta xây dựng nên lý thuyết số, và định lý Euclid đảm bảo rằng chúng ta có vô số các yếu tố cơ bản để làm việc đó.
So much for Euclid’s theorem; and, as regards Pythagoras’s, it is obvious that irrationals are uninteresting to an engineer, since he is concerned only with approximations, and all approximations are rational. Định lý Euclid là dư thừa; và đối với định lý Pythagoras, rõ ràng là các số vô tỷ đều không hấp dẫn đối với một kỹ sư, vì anh ta chỉ quan tâm tới các xấp xỉ, mà các xấp xỉ đều là số hữu tỷ.